1. Bridge to abstract mathematics /
Author: Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
2. Foundations of logic and mathematics
Author: / Yves Nievergelt
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Set theory,Number theory,Computer science -- Mathematics
Classification :
QA
9
.
N53
2002
3. Foundations of logic and mathematics : applications to computer science and cryptography
Author: Yves Nievergelt
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
Classification :
QA
9
.
N5
4. Foundations of logic and mathematics: applications to computer science and cryptography
Author: Nievergelt, Yves
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
Classification :
QA
9
.
N53
2002
5. Proof, logic, and conjecture :
Author: Robert S. Wolf.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Number theory.,Set theory.
Classification :
QA9
.
W748
1998
6. Proof, logic, and conjecture : the mathematician's toolbox
Author: Robert S. Wolf
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Number theory
Classification :
QA
9
.
W65
7. Sets, logic
Author: Dodge, Clayton W., ]by[ Clayton W. Dodge
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Number theory,، Logic, Symbolic and mathematical,، Set theory
Classification :
QA
241
.
D6
